https://dasbestelexikon.de/en/wiki/The_Foundations_of_Arithmetic